docker vs vm for development